Optimal. Leaf size=119 \[ -\frac{\sqrt{\pi } \sqrt{b} e^{\frac{b c}{d}-a} \text{Erf}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}+\frac{\sqrt{\pi } \sqrt{b} e^{a-\frac{b c}{d}} \text{Erfi}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.1827, antiderivative size = 119, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.312, Rules used = {3297, 3308, 2180, 2204, 2205} \[ -\frac{\sqrt{\pi } \sqrt{b} e^{\frac{b c}{d}-a} \text{Erf}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}+\frac{\sqrt{\pi } \sqrt{b} e^{a-\frac{b c}{d}} \text{Erfi}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3297
Rule 3308
Rule 2180
Rule 2204
Rule 2205
Rubi steps
\begin{align*} \int \frac{\cosh (a+b x)}{(c+d x)^{3/2}} \, dx &=-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}}+\frac{(2 b) \int \frac{\sinh (a+b x)}{\sqrt{c+d x}} \, dx}{d}\\ &=-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}}+\frac{b \int \frac{e^{-i (i a+i b x)}}{\sqrt{c+d x}} \, dx}{d}-\frac{b \int \frac{e^{i (i a+i b x)}}{\sqrt{c+d x}} \, dx}{d}\\ &=-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}}-\frac{(2 b) \operatorname{Subst}\left (\int e^{i \left (i a-\frac{i b c}{d}\right )-\frac{b x^2}{d}} \, dx,x,\sqrt{c+d x}\right )}{d^2}+\frac{(2 b) \operatorname{Subst}\left (\int e^{-i \left (i a-\frac{i b c}{d}\right )+\frac{b x^2}{d}} \, dx,x,\sqrt{c+d x}\right )}{d^2}\\ &=-\frac{2 \cosh (a+b x)}{d \sqrt{c+d x}}-\frac{\sqrt{b} e^{-a+\frac{b c}{d}} \sqrt{\pi } \text{erf}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}+\frac{\sqrt{b} e^{a-\frac{b c}{d}} \sqrt{\pi } \text{erfi}\left (\frac{\sqrt{b} \sqrt{c+d x}}{\sqrt{d}}\right )}{d^{3/2}}\\ \end{align*}
Mathematica [A] time = 0.350113, size = 118, normalized size = 0.99 \[ \frac{e^{-a} \left (e^{2 a-\frac{b c}{d}} \sqrt{-\frac{b (c+d x)}{d}} \text{Gamma}\left (\frac{1}{2},-\frac{b (c+d x)}{d}\right )+e^{\frac{b c}{d}} \sqrt{\frac{b (c+d x)}{d}} \text{Gamma}\left (\frac{1}{2},b \left (\frac{c}{d}+x\right )\right )-e^{-b x} \left (e^{2 (a+b x)}+1\right )\right )}{d \sqrt{c+d x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.044, size = 0, normalized size = 0. \begin{align*} \int{\cosh \left ( bx+a \right ) \left ( dx+c \right ) ^{-{\frac{3}{2}}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.0513, size = 140, normalized size = 1.18 \begin{align*} \frac{\frac{{\left (\frac{\sqrt{\pi } \operatorname{erf}\left (\sqrt{d x + c} \sqrt{-\frac{b}{d}}\right ) e^{\left (a - \frac{b c}{d}\right )}}{\sqrt{-\frac{b}{d}}} - \frac{\sqrt{\pi } \operatorname{erf}\left (\sqrt{d x + c} \sqrt{\frac{b}{d}}\right ) e^{\left (-a + \frac{b c}{d}\right )}}{\sqrt{\frac{b}{d}}}\right )} b}{d} - \frac{2 \, \cosh \left (b x + a\right )}{\sqrt{d x + c}}}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.10143, size = 815, normalized size = 6.85 \begin{align*} -\frac{\sqrt{\pi }{\left ({\left (d x + c\right )} \cosh \left (b x + a\right ) \cosh \left (-\frac{b c - a d}{d}\right ) -{\left (d x + c\right )} \cosh \left (b x + a\right ) \sinh \left (-\frac{b c - a d}{d}\right ) +{\left ({\left (d x + c\right )} \cosh \left (-\frac{b c - a d}{d}\right ) -{\left (d x + c\right )} \sinh \left (-\frac{b c - a d}{d}\right )\right )} \sinh \left (b x + a\right )\right )} \sqrt{\frac{b}{d}} \operatorname{erf}\left (\sqrt{d x + c} \sqrt{\frac{b}{d}}\right ) + \sqrt{\pi }{\left ({\left (d x + c\right )} \cosh \left (b x + a\right ) \cosh \left (-\frac{b c - a d}{d}\right ) +{\left (d x + c\right )} \cosh \left (b x + a\right ) \sinh \left (-\frac{b c - a d}{d}\right ) +{\left ({\left (d x + c\right )} \cosh \left (-\frac{b c - a d}{d}\right ) +{\left (d x + c\right )} \sinh \left (-\frac{b c - a d}{d}\right )\right )} \sinh \left (b x + a\right )\right )} \sqrt{-\frac{b}{d}} \operatorname{erf}\left (\sqrt{d x + c} \sqrt{-\frac{b}{d}}\right ) + \sqrt{d x + c}{\left (\cosh \left (b x + a\right )^{2} + 2 \, \cosh \left (b x + a\right ) \sinh \left (b x + a\right ) + \sinh \left (b x + a\right )^{2} + 1\right )}}{{\left (d^{2} x + c d\right )} \cosh \left (b x + a\right ) +{\left (d^{2} x + c d\right )} \sinh \left (b x + a\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cosh{\left (a + b x \right )}}{\left (c + d x\right )^{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cosh \left (b x + a\right )}{{\left (d x + c\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]